<?php

require_once 'gestorBuscador.php';
$rows = getListadoMarcas();
echo "<select name=\"smarca\" id=\"smarca\">";
echo"<option value='0'>Todas las marcas</option>";
while ($row = mysqli_fetch_array($rows)) {
    echo "<option value=\"" . $row['ID'] . "\">" . $row['MARCA'] . "</option>";
}
echo"</select>";
?>
